Mémoire d'habilitation à diriger des recherches
نویسنده
چکیده
Isabelle " Guerin-Lassous" Professeur à lʼUniversité de Lyon" Rapporteur Francis " Lepage " Professeur à lʼUniversité H. Poincare " Rapporteur Flavio " Oquendo" Professeur à lʼUniversité de Bretagne Sud" Rapporteur Laurence " Duchien" Professeur à lʼUniversité de Lille " Examinateur Christophe " Chassot" Professeur à lʼUniversité de Toulouse" Examinateur Khalil " Drira" Directeur de recherche au CNRS" Examinateur Michel " Diaz" Directeur de recherche au CNRS " Correspondant
منابع مشابه
Modelling and analyzing security protocols in cryptographic process calculi Mémoire d'habilitation à diriger des recherches
متن کامل
Observation et stabilisation d ’ ondes : géométrie et coût du contrôle
Mémoire présenté pour l'habilitationà diriger des recherches, spécialité mathématiques.
متن کامل